$integral dX$ max $partialdiff sub T$ [ Princeton wspd ]